Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
271	Antikörperkatalog der fzmb GmbH Table of Contents Add to Reading List Source URL: www.fzmb.de Language: English - Date: 2013-09-30 05:20:17 Glycoproteins Peptidase PMSG Matrix metalloproteinase Monoclonal antibodies MMP9 Clone Immunoglobulin G Mathematics Mechanization and Automated Reasoning Platform Biology Immune system Immunology
272	Clinical significance of serological biomarkers and neuropsychological performances in patients with temporal lobe epilepsy Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Stroke Neurosurgery Cerebral hemorrhage Invasiveness of surgical procedures Stereotactic surgery Intracranial hemorrhage Blood–brain barrier Mathematics Mechanization and Automated Reasoning Platform Medicine Neurotrauma Cerebrovascular diseases
273	SPASS-XDB goes Mathematical David Stanovsk´ y1 , Martin Suda2 , and Geoff Sutcliffe3 Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-01-12 07:27:42 Automated theorem proving Logic in computer science Formal methods Mathematical logic Axiom Automated reasoning SPASS Geoff Sutcliffe Mathematical proof Mathematics Theoretical computer science Mathematical software
274	Proceedings of the International Multiconference on Computer Science and Information Technology, pp. 1071 – 1080 Add to Reading List Source URL: www.proceedings2007.imcsit.org Language: English - Date: 2008-12-10 18:15:24 Software engineering Automated theorem proving Rules of inference Constraint programming Reasoning Prolog Horn clause Resolution Reasoning system Logic Artificial intelligence Logic programming
275	Automatic Guidance for the Formal Verification of High Integrity Ada Final Report of EPSRC Grant GR/R24081 Andrew Ireland Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2005-02-04 10:21:20 Automated theorem proving Formal methods Logic in computer science Proof theory SPARK Automated proof checking Formal verification Mathematical proof Automated reasoning Theoretical computer science Mathematics Applied mathematics
276	An OCaml-based automated theorem-proving textbook John Harrison, Intel Corporation Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-06-17 14:09:54 Automated theorem proving Logic in computer science Mathematical logic Automated reasoning HOL Logic programming Algorithm Theorem Mathematics Logic Theoretical computer science
277	PDF Document Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2006-10-03 12:53:44 Knowledge representation Procedural reasoning system Reasoning system Automated planning and scheduling Robot Mobile robot Procedural knowledge Planner Autonomous robot Artificial intelligence Multi-agent systems Cognitive architecture
278	DIAMOND: Diagrammatic Reasoning System Demonstration Add to Reading List Source URL: www.aaai.org Language: English - Date: 2011-12-06 15:48:36 Automated theorem proving Reasoning Proof theory Mathematical logic Deduction Mathematical proof Diagrammatic reasoning Reasoning system Proof Logic Science Mathematics
279	PDF Document Add to Reading List Source URL: reason.cs.uiuc.edu Language: English - Date: 2005-05-13 21:20:23 Predicate logic Ontology Automated theorem proving Reasoning Programming paradigms Cyc First-order logic Inference Predicate variable Logic Science Mathematics
280	PDF Document Add to Reading List Source URL: ijcai.org Language: English - Date: 2008-09-30 05:18:37 Mathematical logic Diagrams Automated theorem proving Reasoning Mathematical proof Diagrammatic reasoning Theorem Diagram Logic Mathematics Science

UPDATE